HASLab
High-Assurance Software Laboratory
Cancel
Search
:
^b
DI/FMHAS Web
Changed
Changed by
BestCaseRL8
02 Nov 2015 - 00:12 - r10
JoseCampos
Languages And Tools for Critical Real time Systems The goal of this project is to contribute to a change to the current paradigm of secure ITC infrastructure, according ...
BookShelf
09 Oct 2012 - 14:24 -
NEW
JorgeSousaPinto
http://dx.doi.org/10.1007/978 3 540 88643 3 JorgeSousaPinto 09 Oct 2012
Found
2
topics.
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
Syndicate this site
RSS
ATOM